机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:SystemC / TLM2接口的运行时仪器用于容错要求软件Cosimulation中的验证
机译:TEAMS:用于运行时监视的特殊AOP框架
机译:基于动态代码检测和策略注入的Web客户端运行时安全系统。
机译:后路Cotrel-Dubousset型器械治疗的22例患者的15至25年功能结局:有限但详细的结局回顾
机译:运行时监视仪表技术概述
机译:Java Bytecode用于运行时分析的工具